type never = empty;
